Solving for x